TAGs: step equations multiplication